61. Communication and Cooperation in Agent Systems :
المؤلف: edited by Afsaneh Haddadi.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks.,Computer science.,Software engineering.
رده :
QA76
.
9
.
D5
E358
1996
62. Computational artifacts :
المؤلف: Raymond Turner.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
167
63. Computational science and its applications-- ICCSA 2013 :
المؤلف: Beniamino Murgante ... [and seven others] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer networks -- Congresses.,Computer science -- Congresses.
64. Computer Aided Systems Theory - EUROCAST '95 :
المؤلف: edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computers, Special purpose.,Microprocessors.
رده :
TA345
.
E358
1996
65. Computer Aided Verification :
المؤلف: edited by Rajeev Alur, Thomas A. Henzinger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
66. Computer Algebra :
المؤلف: edited by Bruno Buchberger, George Edwin Collins, Rüdiger Loos.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Mathematics.
رده :
QA155
.
7
.
E4
E358
1982
67. Computer-aided reasoning :
المؤلف: edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer-aided design.,Expert systems (Computer science)
رده :
QA76
.
76
.
E95
E358
2011
68. [Computer aided systems theory] [revised selected papers]
المؤلف: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
69. Computer-based medical guidelines and protocols :
المؤلف: edited by Annette ten Teije, Silvia Miksch and Peter Lucas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Decision making-- Data processing, Congresses.,Medicine-- Data processing, Congresses.,Medicine-- Decision making, Congresses.,Decision Making, Computer-Assisted.,Decision Support Systems, Clinical.,Medical Informatics.,Practice Guidelines,Decision making-- Data processing.,ICT.,MEDICAL-- Allied Health Services-- Medical Technology.,MEDICAL-- Biotechnology.,MEDICAL-- Family & General Practice.,MEDICAL-- Lasers in Medicine.,Medicine-- Data processing.,Medicine-- Decision making.,Medische techniek.,Organisatieontwikkeling.,Protocollen (zorgsector),Richtlijnen.,TECHNOLOGY & ENGINEERING-- Biomedical.
رده :
R859
.
7
.
D42
C64
2008eb
70. Computer performance engineering :
المؤلف: Nigel Thomas (edition)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering, Congresses,Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
E64
2011
71. Cybernetics and automation control theory methods in intelligent algorithms :
المؤلف: Radek Silhavy, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cybernetics, Congresses.,Information theory, Congresses.,Cybernetics.,Information theory.,SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.
رده :
Q300
.
C93
2019
72. Cybernetics and systems '86 :
المؤلف: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
73. Databases and Information Systems :
المؤلف: edited by Janis Barzdins, Albertas Caplinskas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Software engineering.
74. Deduction and declarative programming /
المؤلف: Peter Padawitz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Declarative programming.
رده :
QA76
.
615
.
P33
1992eb
75. Deduction and declarative programming /
المؤلف: Peter Padawitz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Declarative programming.
رده :
QA76
.
615
.
P33
1992eb
76. Descriptional complexity of formal systems :
المؤلف: edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
رده :
QA76
.
5913
D34
2019
77. Dynamic logic
المؤلف: / David Harel, Dexter Kozen, Jerzy Tiuryn
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic.,Formal methods (Computer science)
رده :
QA
,
76
.
9
,.
L63
,
H37
,
2000
78. ESPRIT '90 :
المؤلف: Commission of the European Communities. Directorate-General for Telecommunications, Information Industries, and Innovation.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering.,Computer science.
79. Emotional cognitive neural algorithms with engineering applications
المؤلف: / Leonid Perlovsky, Ross Deming, and Roman Ilin
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Cognitive neuroscience.,Computer logic.,Formal methods (Computer science),Neural networks (Computer science)
رده :
QP
,
360
.
5
,.
P474
,
2011
